import top.level.topLevelProperty